Countable type local theorems in algebra
نویسندگان
چکیده
منابع مشابه
Robertson-type Theorems for Countable Groups of Unitary Operators
Let G be a countably infinite group of unitary operators on a complex separable Hilbert space H. Let X = {x1, ..., xr} and Y = {y1, ..., ys} be finite subsets of H, r < s, V0 = spanG(X), V1 = spanG(Y ) and V0 ⊂ V1. We prove the following result: Let W0 be a closed linear subspace of V1 such that V0 ⊕ W0 = V1 (i.e., V0 + W0 = V1 and V0 ∩ W0 = {0}). Suppose that G(X) and G(Y ) are Riesz bases for...
متن کاملUngar’s Theorems on Countable Dense Homogeneity Revisited
In this paper we introduce a slightly stronger form of countable dense homogeneity that for Polish spaces can be characterized topologically in a natural way. Along the way, we generalize theorems obtained by Bennett and Ungar on countable dense homogeneity.
متن کاملPreservation theorems for countable support forcing iterations
A major theme of [12] is preservation theorems for iterated forcing. These are theorems of the form “if 〈Pξ : ξ ≤ κ〉 is a countable support forcing iteration based on 〈Q̇ξ : ξ < κ〉 and each Q̇ξ has property such-and-such then Pκ has property thus-and-so.” The archetypal preservation theorem is the Fundamental Theorem of Proper Forcing [12, chapter III], which states that if each Q̇ξ is proper in V...
متن کاملA local approach to the entropy of countable fuzzy partitions
This paper denes and investigates the ergodic proper-ties of the entropy of a countable partition of a fuzzy dynamical sys-tem at different points of the state space. It ultimately introducesthe local fuzzy entropy of a fuzzy dynamical system and proves itto be an isomorphism invariant.
متن کاملTyping theorems of omega algebra
Typed omega algebras extend Kozen’s typed Kleene algebras by an operation for infinite iteration in a similar way as Cohen’s omega algebras extend Kleene algebras in the untyped case. Typing these algebras is motivated by non-square matrices in automata constructions and applications in program semantics. For several reasons – the theory of untyped (Kleene or omega) algebras is well developed, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1973
ISSN: 0021-8693
DOI: 10.1016/0021-8693(73)90062-8